Determinism versus Nondeterminism for Linear Time RAMs with Memory Restrictions

Determinism versus Nondeterminism with Arithmetic Tests and Computation

For each natural number d we consider a finite structure Md whose universe is the set of all 0, 1-sequence of length n = 2d, each representing a natural number in the set {0, 1, ..., 2n − 1} in binary form. The operations included in the structure are the constants 0, 1, 2n − 1, n, multiplication and addition modulo 2n, the unary function min{2x, 2n − 1}, the binary functions bx/yc, max(x, y), ...

On determinism versus unambiquous nondeterminism for decision trees

On Regular Sets of Bounds and Determinism versus Nondeterminism

This paper illustrates the richness of the concept of regular sets of time bounds and demonstrates its application to problems of computational complexity. There is a universe of bounds whose regular subsets allow to represent several time complexity classes of common interest and are linearly ordered with respect to the confinality relation which implies the inclusion between the corresponding...

Determinism, Nondeterminism, Alternation, and Counting

Toda proved a remarkable connection between the polynomial hierarchy and the counting classes. Tarui improved Toda’s result to show the connection to a weak form of counting and provided an elegant proof. This paper shows that a key step in Tarui’s proof can be done uniformly using the depth-first traversal and provides the algorithm that generalizes Toda’s result to arbitrary alternating Turin...

Converse, Local Determinism, and Graded Nondeterminism in Propositional Dynamic Logics Converse, Local Determinism, and Graded Nondeterminism in Propositional Dynamic Logics

Recent work on Knowledge Representation has brought new interest to Propositional Dynamic Logics PDL s by pointing out a tight correspondence between these logics and logics for representing structured knowledge Description Logics TerminologicalLanguages Nevertheless this work has also made apparent the lack in the known PDL s of certain constructs needed to fully exploit the correspondence The...